define float @main(i8 %argc, i8** %arcv) {
  ret float  127.900000000000005684341886080801486968994140625
}
